SIWR with extra output
id_total, 0.671799786
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.011634936
id_inclusion_check_mod_p, 0.060670404
id_groebner_time, 0.017762352
id_beautifulization, 0.098525842
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 66.0
